How do I export a Jupyter Notebook as a script